Multi-agent system - PDFSEARCH.IO - Document Search Engine

Multi-agent system
Results: 646

#	Item
421	Verifying bounds on deliberation time in multi-agent systems Natasha Alechina a a Brian Logan a Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2005-12-12 08:39:57 Artificial intelligence Formal languages Models of computation Logic programming Logical syntax Intelligent agent Production system Well-formed formula Agent-based model Logic Mathematics Science
422	Data Access in Distributed Simulations of Multi-agent Systems 1 Data Access in Distributed Simulations of Multi-agent Systems ∗ Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-07-30 05:35:00 Simulation Computing Multi-agent system Agent-based model Discrete event simulation Abstraction Scientific modeling Operations research Science
423	Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2011-06-10 06:16:57 Maude system Software engineering Computing
424	QAPL[removed]Verification of Resource Requirements of Distributed Reasoning Agents 1 Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib2 School of Computer Science Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2008-06-18 10:10:29 Logic Automated theorem proving Agent-based model Complex systems theory Reasoning system Model checking Epistemic modal logic Algorithm Artificial intelligence Science Multi-agent systems
425	DyKnow Federations: Distributing and Merging Information Among UAVs Fredrik Heintz and Patrick Doherty Dept. of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {frehe, patdo}@ida.liu.s Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-25 06:01:11 Security Military terminology Signals intelligence Unmanned aerial vehicle FIPA Java Agent Development Framework Agent Communications Language Middleware Geographic information system Multi-agent systems Artificial intelligence National security
426	Federated DyKnow, a Distributed Information Fusion System for Collaborative UAVs Fredrik Heintz and Patrick Doherty Dept. of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {frehe, pat Add to Reading List Source URL: www.ida.liu.se Language: English - Date: 2011-05-23 07:08:41 Signals intelligence Unmanned aerial vehicle Computing Knowledge representation FIPA Java Agent Development Framework Agent Communications Language Science Multi-agent systems Artificial intelligence Military terminology
427	Performance Analysis of Shared Data Access Algorithms for Distributed Simulation of Multi-Agent Systems Roland Ewald1,3 , Dan Chen1 , Georgios K. Theodoropoulos1 , Michael Lees2 , Brian Logan2 , Ton Oguara1 , Adelinde M. Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2006-04-01 07:24:06 File sharing networks Computing Routing Multi-agent system Simulation Peer-to-peer Computer simulation Agent-based model Knowledge Scientific modeling Science Operations research
428	Spatially Explicit Multi-Agent Modelling of Land Use Change in the Sierra Madre, Philippines Introduction Land use in tropical regions such as the Sierra Madre in the Philippines is influenced not only by proximate actor Add to Reading List Source URL: www.csiss.org Language: English - Date: 2004-12-13 09:15:17 Scientific modeling Ethology Knowledge Causality Actor model Multi-agent system Social psychology Science Complex systems theory Agent-based model
429	2013 Annual Conference on Advances in Cognitive Systems: Workshop on Goal Reasoning Breadth of Approaches to Goal Reasoning: A Research Survey Swaroop Vattam [removed] Add to Reading List Source URL: www.nrl.navy.mil Language: English - Date: 2014-05-07 15:00:29 Intelligent agent Reasoning system Automated planning and scheduling Goal-oriented Planner GOAL agent programming language 2APL Artificial intelligence Multi-agent systems Cognitive architecture
430	Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2012-06-25 10:32:16 Maude system Software engineering Computing

UPDATE